/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 
&June 2, 1980 




␈↓ ↓H␈↓Professor Donald Michie
␈↓ ↓H␈↓Machine Intelligence Research Unit
␈↓ ↓H␈↓University of Edinburgh
␈↓ ↓H␈↓Hope Park Square
␈↓ ↓H␈↓Meadow Lane Edinburgh EH89NW
␈↓ ↓H␈↓ UNITED KINGDOM

␈↓ ↓H␈↓Dear Donald:

␈↓ ↓H␈↓        Here␈α
is␈α
the␈α
situation␈α
with␈α
my␈α
papers.␈α
 The␈α
one␈α
on␈α
circumscription␈α
is␈α
published␈α
in␈α
the␈αAI
␈↓ ↓H␈↓Journal␈α
and␈α
as␈α
a␈α∞Stanford␈α
AI␈α
Memo.␈α
 There␈α∞is␈α
no␈α
real␈α
reason␈α∞to␈α
publish␈α
it␈α
again.␈α∞ However,␈α
I
␈↓ ↓H␈↓already␈α⊃have␈α⊃a␈α⊃certain␈α⊃amount␈α⊃of␈α⊃supplementary␈α⊂material,␈α⊃but␈α⊃I␈α⊃suppose␈α⊃that␈α⊃for␈α⊃reasons␈α⊂of
␈↓ ↓H␈↓continuity,␈αI␈αshould␈αpublish␈αthat␈αalso␈αin␈αthe␈αAI␈αJournal.␈α I␈αhave␈αsome␈αnew␈αideas␈αon␈αa␈αdeclarative
␈↓ ↓H␈↓language␈α
for␈α
AI,␈α
but␈αI␈α
don't␈α
know␈α
when␈αthey␈α
will␈α
come␈α
to␈αfruition.␈α
 I␈α
certainly␈α
can't␈αcommit␈α
myself
␈↓ ↓H␈↓now.

␈↓ ↓H␈↓        I␈αwill,␈αhowever,␈αbe␈αteaching␈αepistemological␈αproblems␈αof␈αAI␈αnext␈αwinter,␈αand␈αI␈αwill␈αhave␈αto
␈↓ ↓H␈↓prepare␈α∩additional␈α∩teaching␈α∪materials␈α∩by␈α∩then.␈α∪ Some␈α∩of␈α∩it␈α∪would␈α∩probably␈α∩be␈α∪suitable␈α∩and
␈↓ ↓H␈↓available in time for the Workshop itself but not for a volume published previously.

␈↓ ↓H␈↓        Sorry our plans don't mesh better.


␈↓ ↓H␈↓Best regards,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science